Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications
نویسندگان
چکیده
The handling of uncertain information is of crucial importance for the success of expert systems. This paper gives an overview on logic-based approaches to probabilistic reasoning and goes into more details about recent developments for relational, respectively first-order, probabilistic methods like Markov logic networks, and Bayesian logic programs. In particular, we will feature the maximum entropy approach as a powerful and elegant method that combines convenience with respect to knowledge representation with excellent inference properties. We briefly describe some systems for probabilistic reasoning, and go into more details on the KReator system as a versatile toolbox for probabilistic relational learning, modelling, and inference. Moreover, we will illustrate applications of probabilistic logics in various scenarios.
منابع مشابه
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications
The handling of uncertain information is of crucial importance for the success of expert systems. This paper gives an overview on logic-based approaches to probabilistic reasoning and goes into more details about recent developments for relational, respectively first-order, probabilistic methods like Markov logic networks, and Bayesian logic programs. In particular, we feature the maximum entro...
متن کاملSome Notes on the Factorization of Probabilistic Logical Models under Maximum Entropy Semantics
Probabilistic conditional logics offer a rich and well-founded framework for designing expert systems. The factorization of their maximum entropy models has several interesting applications. In this paper a general factorization is derived providing a more rigorous proof than in previous work. It yields an approach to extend Iterative Scaling variants to deterministic knowledge bases. Subsequen...
متن کاملModal logics for AI planning
This paper presents a survey on current research in modal and dynamic logic in the theory of AI planning techniques together with a rst assessment of the role these concepts and techniques may play in the overall process of automated plan formation. First, the use of modal logics for modelling planning problems is motivated. After showing the computational problems {besides the well known frame...
متن کاملFixpoint Logics for Reasoning about Probabilistic Systems
Abstract. We consider exogenous logics for reasoning about probabilistic systems: a variant of probabilistic state logic EPPL[24], and its fixpoint extension MEPL, which is enriched with operators from the modal μ-calculus. System states correspond to probability distributions over classical states and the system evolution is modeled by parametrized Kripke structures that capture both stochasti...
متن کاملProbabilistic Logic Programming and Bayesian Networks
We present a probabilistic logic programming framework that allows the representation of conditional probabilities. While conditional probabilities are the most commonly used method for representing uncertainty in probabilistic expert systems, they have been largely neglected by work in quantitative logic programming. We de-ne a xpoint theory, declarative semantics, and proof procedure for the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011